Add patrol/patrol to $wgLogActions

Found missing doing bug 22738 / r63301

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 45221aa..53214ff 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -3296,6 +3296,7 @@ $wgLogActions = array(
        'suppress/delete'   => 'suppressedarticle',
        'suppress/block'        => 'blocklogentry',
        'suppress/reblock'  => 'reblock-logentry',
+       'patrol/patrol'         => 'patrol-log-line',
 );
 
 /**